it can be proved that

据证明